package com.googlecode.bts_lambda;

/**
 * User: Timofey Bondarev
 * Date: 22.05.11
 * Time: 19:24
 */

public class LVariable extends LTerm {
    private final String name;

    public LVariable(String name) {
        this.name = name;
    }

    @Override
    public String toString() {
        return name;
    }
}
